翻訳と辞書 Words near each other ・ Multiple Subscriber Number ・ Multiple sulfatase deficiency ・ Multiple system atrophy ・ Multiple Threat Alert Center ・ Multiple time dimensions ・ Multiple trace theory ・ Multiple treatments ・ Multiple unit ・ Multiple units of Ireland ・ Multiple use ・ Multiple working ・ Multiple zeta function ・ Multiple-alarm fire ・ Multiple-camera setup ・ Multiple-classification ripple-down rules ・ Multiple-conclusion logic ・ Multiple-criteria decision analysis ・ Multiple-effect distillation ・ Multiple-effect evaporator ・ Multiple-effect humidification ・ Multiple-emitter transistor ・ Multiple-image Network Graphics ・ Multiple-indicator kriging ・ Multiple-instance learning ・ Multiple-language version ・ Multiple-peril insurance ・ Multiple-prism dispersion theory ・ Multiple-prism grating laser oscillator ・ Multiple-scale analysis ・ Multiple-stage competition Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Multiple-conclusion logic ： ウィキペディア英語版 Multiple-conclusion logic A multiple-conclusion logic is one in which logical consequence is a relation, $\backslash vdash$, between two sets of sentences (or propositions). $\backslash Gamma\; \backslash vdash\; \backslash Delta$ is typically interpreted as meaning that whenever each element of $\backslash Gamma$ is true, some element of $\backslash Delta$ is true; and whenever each element of $\backslash Delta$ is false, some element of $\backslash Gamma$ is false. This form of logic was developed in the 1970s by D. J. Shoesmith and Timothy Smiley〔D. J. Shoesmith and T. J. Smiley, ''Multiple Conclusion Logic'', Cambridge University Press, 1978〕 but has not been widely adopted. Some logicians favor a multiple-conclusion consequence relation over the more traditional single-conclusion relation on the grounds that the latter is asymmetric (in the informal, non-mathematical sense) and favors truth over falsity (or assertion over denial). == See also == * Sequent calculus 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Multiple-conclusion logic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.